1. Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
پدیدآورنده : Eerke A. Boiten, John Derrick, Graeme Smith )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2999